(0 12 9)(1 17 7)(2 16 4)(3 10 6)(5 14 13)(8 15 11)
ALLOWS (11/8)-SEQUENCE
1: (5 14 15)
(0 12 9)(1 17 7)(2 16 4)(3 10 6)(5 11 8 15 13)(14)
2: (5 11 13)
(0 12 9)(1 17 7)(2 16 4)(3 10 6)(5)(8 15 13)(11)(14)
3: (0 12 9)
(0)(1 17 7)(2 16 4)(3 10 6)(5)(8 15 13)(9)(11)(12)(14)
4: (1 17 7)
(0)(1)(2 16 4)(3 10 6)(5)(7)(8 15 13)(9)(11)(12)(14)(17)